dividing real numbers